Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, ... 10009 (Lecture Notes in Computer Science)
by Kazuhiro Ogata,Mark Lawford,Shaoying Liu
ISBN 13: 9783319478456
Format: Paperback (508 pages) Publisher: Springer Published: 15 Oct 2016
Save for later